Build reliable AI systems with Automated Reasoning on Amazon Bedrock – Part 1
aws.amazon.comΒ·57m
⚑Proof Automation
Flag this post
My first fifteen compilers (2019)
blog.sigplan.orgΒ·2hΒ·
Discuss: Hacker News
πŸ—οΈCompiler Archaeology
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.comΒ·1d
πŸ”—Combinatory Logic
Flag this post
Context Engineering: The Foundation for Reliable AI Agents
thenewstack.ioΒ·2h
🌊Streaming Systems
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.comΒ·4hΒ·
Discuss: Hacker News
πŸ”¨Compilers
Flag this post
Advanced Threat Protection (ATP): An Ultimate Guide for Modern SOCs
vmray.comΒ·7h
πŸ›‘οΈeBPF Security
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.comΒ·22h
πŸ”“Decompilation
Flag this post
Breaking Monoliths Taught Me How to Fix Data
blog.matterbeam.comΒ·6hΒ·
Discuss: Hacker News
πŸ‘οΈObservatory Systems
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.orgΒ·18h
πŸ“Log Parsing
Flag this post
Challenging the Fastest OSS Workflow Engine
obeli.skΒ·14hΒ·
πŸ”„Sync Engine
Flag this post
A Senior Developer's Guide to the Model Context Protocol
dev.toΒ·2hΒ·
Discuss: DEV
πŸ”ŒInterface Evolution
Flag this post
Vibe coding needs a spec, too
stackoverflow.blogΒ·15h
πŸ”ŒInterface Evolution
Flag this post
Building Up And Sanding Down
endler.devΒ·22h
πŸ”©Systems Programming
Flag this post
Java Generics and Collections β€’ Maurice Naftalin & Stuart Marks β€’ GOTO 2025
youtube.comΒ·1d
Ξ»Lambda Formalization
Flag this post
Clean Code: Functions and Error Handling in Go: From Chaos to Clarity [Part 1]
hackernoon.comΒ·16h
βœ…Format Verification
Flag this post
Show HN: Fast-posit, sw implementation of posit arithmetic in Rust
github.comΒ·1dΒ·
Discuss: Hacker News
πŸ¦€Rust Verification
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.orgΒ·1dΒ·
Discuss: Hacker News
πŸ”—Functional Compilers
Flag this post
Transforming Expense Management with AI Agent Orchestration
insideaiagents.comΒ·16hΒ·
Discuss: Hacker News
🌊Stream Processing
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
discourse.llvm.orgΒ·1dΒ·
Discuss: Hacker News
πŸ“ŠStatic Analysis
Flag this post
Minimal Sufficiency: A Principle β€˜Similar’ to End-to-End
cacm.acm.orgΒ·4hΒ·
Discuss: Hacker News
πŸ”—Network Calculi
Flag this post